lambda x.x KSK
[English / Japanese]
| Keisuke Nakano | 今後の予定 | λx.xKSK |
|
My first name can be pronounced as "K S K". The combinator X = λx.x K S K *1 is universal in the sense that all combinators can be constructed by X.
The combinator I could be defined as X(XX)(XXX)z with any term z. *1 As usual, you must recognize it as λx. ( ( ( x K ) S ) K ). |
Keyword(s):
References:[TabTree]